Add type annotations for GdkWayland API
authorEmmanuele Bassi <ebassi@gnome.org>
Mon, 12 Oct 2020 13:04:13 +0000 (14:04 +0100)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 14 Oct 2020 19:06:12 +0000 (15:06 -0400)
commitfe871f9d4626f1bd40103dffc3b8d58c79d0b1f2
tree2841c63d77fa89311a44b19302004080784b8e66
parent40e4f3758e5255757136be831317ed7fab0653f6
Add type annotations for GdkWayland API

The GdkWayland API takes generic GDK types and performs a run time
check, which means we need to properly annotate the actual expected
type in order to have methods recognised as such.
gdk/wayland/gdkdevice-wayland.c
gdk/wayland/gdkdisplay-wayland.c
gdk/wayland/gdksurface-wayland.c